$\forall$$r$,$s$:rationals. ($\uparrow$qeq($r$; $s$)) $\Leftarrow\!\Rightarrow$ ($r$ = $s$)